|
In mathematics, a Dieudonné module introduced by , is a module over the non-commutative Dieudonné ring, which is generated over the ring of Witt vectors by two special endomorphisms ''F'' and ''V'' called the Frobenius and Verschiebung operators. They are used for studying finite flat commutative group schemes. Finite flat commutative group schemes over a perfect field ''k'' of positive characteristic ''p'' can be studied by transferring their geometric structure to a (semi-)linear-algebraic setting. The basic object is the Dieudonné ring ''D'' = ''W''(''k'')/(''FV'' − ''p''), which is a quotient of the ring of noncommutative polynomials, with coefficients in Witt vectors of ''k''. ''F'' and ''V'' are the Frobenius and Verschiebung operators, and they may act nontrivially on the Witt vectors. Jean Dieudonné and Pierre Cartier constructed an antiequivalence of categories between finite commutative group schemes over ''k'' of order a power of "p" and modules over ''D'' with finite ''W''(''k'')-length. The Dieudonné module functor in one direction is given by homomorphisms into the abelian sheaf ''CW'' of Witt co-vectors. This sheaf is more or less dual to the sheaf of Witt vectors (which is in fact representable by a group scheme), since it is constructed by taking a direct limit of finite length Witt vectors under successive Verschiebung maps ''V'': ''W''n → ''W''n+1, and then completing. Many properties of commutative group schemes can be seen by examining the corresponding Dieudonné modules, e.g., connected ''p''-group schemes correspond to ''D''-modules for which ''F'' is nilpotent, and étale group schemes correspond to modules for which ''F'' is an isomorphism. Dieudonné theory exists in a somewhat more general setting than finite flat groups over a field. Oda's 1967 thesis gave a connection between Dieudonné modules and the first de Rham cohomology of abelian varieties, and at about the same time, Grothendieck suggested that there should be a crystalline version of the theory that could be used to analyze ''p''-divisible groups. Galois actions on the group schemes transfer through the equivalences of categories, and the associated deformation theory of Galois representations was used in Wiles's work on the Shimura–Taniyama conjecture. ==Dieudonné rings== If ''k'' is a field of characteristic ''p'', its ring of Witt vectors consists of sequences (''w''1,''w''2,''w''3,...) of elements of ''k'', and has an endomorphism σ induced by the Frobenius endomorphism of ''k'', so (''w''1,''w''2,''w''3,...)σ = (''w'',''w'',''w'',...). The Dieudonné ring, often denoted by ''E''''k'' or D''k'', is the non-commutative ring over ''W''(''k'') generated by 2 elements ''F'' and ''V'' subject to the relations :''FV'' = ''VF'' = ''p'' :''Fw'' = ''w''σ''F'' :''wV'' = ''Vw''σ. It is a ''Z''-graded ring, where the piece of degree ''n''∈''Z'' is a 1-dimensional free module over ''W''(''k''), spanned by ''V''−''n'' if ''n''≤0 and by ''F''''n'' if ''n''≥0. Some authors define the Dieudonné ring to be the completion of the ring above for the ideal generated by ''F'' and ''V''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dieudonné module」の詳細全文を読む スポンサード リンク
|